Skip to content

Hotfix Javadocs#16

Merged
obed-vazquez merged 5 commits intomainfrom
hotfix/javadocs-main-protection-badge
Nov 30, 2025
Merged

Hotfix Javadocs#16
obed-vazquez merged 5 commits intomainfrom
hotfix/javadocs-main-protection-badge

Conversation

@obed-vazquez
Copy link
Copy Markdown
Member

This fixes:

  • Javadocs
  • Main protection script
  • Broken Badge

The only class should have documentation more concise in the javadocs, and it was corrected with this fix.
- The only class should have documentation more concise in the javadocs, and it was corrected with this fix.
- Fixed badge in the README.md.
- Bumped version.
- The only class should have documentation more concise in the javadocs, and it was corrected with this fix.
- Fixed badge in the README.md.
- Bumped version.
- The only class should have documentation more concise in the javadocs, and it was corrected with this fix.
- Fixed badge in the README.md.
- Modified the branch-protection script and updated documentation in README.md.
- Bumped version.
@obed-vazquez obed-vazquez self-assigned this Nov 30, 2025
@obed-vazquez obed-vazquez merged commit 7cedc22 into main Nov 30, 2025
1 check passed
@obed-vazquez obed-vazquez deleted the hotfix/javadocs-main-protection-badge branch November 30, 2025 11:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant